This paper discusses the computing formula of generalized inverse ( g-inverse) by structuring minor generalized inverse from inversible Boolean matrix with idempotent property of Boolean vectorial addition. 利用布尔向量加法幂等性给出可逆布尔方阵极小广义逆的构选方法,并由此获得可逆布尔方阵广义逆(g-逆)的计数公式。
The multiple fault testing of synchronous sequential circuit with the dynamic Boolean equation method which reduces the Exclusive-OR operation to the logic addition one is proposed. 本文提出了同步时序线路多故障测试动态布尔方程方法,它将同步时序线路中的异或运算归结为逻辑加运算,可一次求出被测线上双固定型故障s-a-1和s-a-0的全部测试集。